This package was created for the 31st USENIX Security Symposium Artifact submission. It is the final version of the artifact, uploaded under a new DOI, and contains four files: README_Native.md: A step-by-step guide on how to reproduce and replicate the results of the paper "Automating Cookie Consent and GDPR Violation Detection" by installing the components on a native Linux machine. Contains links to the repositories holding the source code. README_VM.md: A step-by-step guide on how to reproduce and replicate the results of the paper "Automating Cookie Consent and GDPR Violation Detection", by using the included virtual machine image. Contains links to the repositories holding the source code. USENIX Security '22 - Automating Cookie ...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
This upload is a virtual machine (VM) containing the artifact accompanying our paper "Randomized Tes...
This deposit provides an Ubuntu Virtual Machine (VM) containing the implementation of the bug detect...
This package was created for the 31st USENIX Security Symposium Artifact submission and contains thr...
Privacy regulations such as the General Data Protection Regulation require websites to inform EU-bas...
Artifact that accompanies the "Capture, Analyze, Diagnose: Realizability Checking of Requirements in...
The European Union's General Data Protection Regulation (GDPR) requires websites to inform users abo...
Artifact for the ICSE 2022 paper titled "Practical Automated Detection of Malicious npm Packages
The European Union’s General Data Protection Regulation (GDPR) requires websites to inform users abo...
Artifact accompanying the CAV 2023 paper "Automatic Program Instrumentation for Automatic Verificati...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact accompanying the OOPSLA 2021 paper "Rich Specifications for Ethereum Smart Cont...
The accepted artifact for the journal article "Building a Secure Software Supply Chain with GNU Guix...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
This upload is a virtual machine (VM) containing the artifact accompanying our paper "Randomized Tes...
This deposit provides an Ubuntu Virtual Machine (VM) containing the implementation of the bug detect...
This package was created for the 31st USENIX Security Symposium Artifact submission and contains thr...
Privacy regulations such as the General Data Protection Regulation require websites to inform EU-bas...
Artifact that accompanies the "Capture, Analyze, Diagnose: Realizability Checking of Requirements in...
The European Union's General Data Protection Regulation (GDPR) requires websites to inform users abo...
Artifact for the ICSE 2022 paper titled "Practical Automated Detection of Malicious npm Packages
The European Union’s General Data Protection Regulation (GDPR) requires websites to inform users abo...
Artifact accompanying the CAV 2023 paper "Automatic Program Instrumentation for Automatic Verificati...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact accompanying the OOPSLA 2021 paper "Rich Specifications for Ethereum Smart Cont...
The accepted artifact for the journal article "Building a Secure Software Supply Chain with GNU Guix...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
This upload is a virtual machine (VM) containing the artifact accompanying our paper "Randomized Tes...
This deposit provides an Ubuntu Virtual Machine (VM) containing the implementation of the bug detect...